21![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu](https://www.pdfsearch.io/img/a4c297366ea4e20b548ffe63d536fa6f.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42
|
---|
22![A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the](https://www.pdfsearch.io/img/a5aee081700b20db726bccf6a69bc873.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
23![Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu](https://www.pdfsearch.io/img/a110f247bc20ac7bc41e6682e06f715b.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
24![The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/efef8f21674d6dab76148348ecb1be74.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36
|
---|
25![Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2](https://www.pdfsearch.io/img/15f19c2dfda6803425a92e09d5c780d7.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
26![](/pdf-icon.png) | Add to Reading ListSource URL: travel.texas.gov- Date: 2017-08-04 06:16:56
|
---|
27![](/pdf-icon.png) | Add to Reading ListSource URL: impacttexasdrivers.dps.texas.gov- Date: 2018-05-11 13:32:44
|
---|
28![](/pdf-icon.png) | Add to Reading ListSource URL: www.tjjd.texas.gov- Date: 2017-02-16 09:40:04
|
---|
29![](/pdf-icon.png) | Add to Reading ListSource URL: www.opic.texas.gov- Date: 2018-03-09 12:03:56
|
---|
30![](/pdf-icon.png) | Add to Reading ListSource URL: www.puc.texas.gov- Date: 2017-09-01 14:14:40
|
---|